ON COUNTER-IRRITATION.

The Theory and Practice of Counter-Irritation

supports. The author reviews at considerable length the history of the idea; but he does not wish to be esteemed an apostle of counterirritation : he expresses himself "more in sympathy with those who hold that 'the Devil himself, old Beelzebub, is nothing but a great Cantharid' (Baynard) than with those who would commend twelve consecutive applications of actual cautery for the cure of sciatic...

Antipruritic Effect of Cold-induced and Transient Receptor Potential-agonist-induced Counter-irritation on Histaminergic Itch in Humans.

A frequent empirical observation is that cold-induced counter-irritation may attenuate itch. The aim of this randomized, single-blinded, exploratory study was to evaluate the counter-irritation effects of cold-stimulation and topical application of transient receptor potential TRPA1/M8-agonists (trans-cinnamaldehyde/L-menthol, respectively), on histamine-induced itch, wheals and neurogenic infl...

Skin irritation and corrosion.

On Büchi One-Counter Automata

Equivalence of deterministic pushdown automata is a famous problem in theoretical computer science whose decidability has been shown by Sénizergues. Our first result shows that decidability no longer holds when moving from finite words to infinite words. This solves an open problem that has recently been raised by Löding. In fact, we show that already the equivalence problem for deterministic B...

On Parameterized One-Counter Automata

We consider the model-checking problem for freeze LTL on one-counter automata (OCAs). Freeze LTL extends LTL with the freeze quantifier, which allows one to store different counter values of a run in registers so that they can be compared with one another. As the model-checking problem is undecidable in general, we focus on the flat fragment of freeze LTL, in which the usage of the freeze quant...